subsequence converges then sequence converges